forward and backward deduction

un. 前后推导